<?xml version="1.0" encoding="UTF-8" ?> 

<Exists xmlns="http://www.w3.org/2007/rif#">
   <declare> 
     <Var>x</Var>
   </declare>
   <formula>
       <Frame>
         <object>
           <Var>x</Var>
         </object>
         <slot ordered="yes">
           <Const type="http://www.w3.org/2007/rif#iri">http://example.org/example#q</Const>
           <Const type="http://www.w3.org/2001/XMLSchema#int">2</Const>
         </slot>
       </Frame>
   </formula>
</Exists>
